@STRING{jair  = "Journal of Artificial Intelligence Research"}
@STRING{aaai  = "Proceedings of AAAI Conference on Artificial Intelligence"}
@string(icaps = "Proceedings of International Conference on Automated Planning and Scheduling")
@string(ijcai = "Proceedings of International Joint Conference on Artificial Intelligence")
@string(ipcicaps = "Proceedings of Sixth International Planning Competition, International Conference on Automated Planning and Scheduling")

@INPROCEEDINGS{huang09:ICAPS,
  author = "R. Huang and Y. Chen and W. Zhang",
  title = "{An Optimal Temporally Expressive Planner: Initial Results and Application to P2P Network Optimization}",
  booktitle = icaps,
  year = "2009"
}

@INPROCEEDINGS{Bhattacharya07,
  author = {A. Bhattacharya and S. Ghosh},
  title = {Self-optimizing Peer-to-Peer Networks with Selfish Processes},
  booktitle = {Proceedings of International Conference on Self-Adaptive and Self-Organizing Systems},
  year = {2007}
}


@INPROCEEDINGS{Cushing07,
  author = {W. Cushing  and S. Kambhampati and Mausam and D. S. Weld },
  title = {When is Temporal Planning Really Temporal?},
  booktitle = ijcai,
  year = {2007}
}




@INPROCEEDINGS{Rintanen07:AAAI,
  author = {J. Rintanen},
  title = {Complexity of concurrent temporal planning},
  booktitle = aaai,
  year = {2007}
}


@INPROCEEDINGS{Giunchiglia07,
  author = {E. Giunchiglia and M. Maratea},
  title = {Planning as Satisfiability with Preferences},
  booktitle = aaai,
  year = {2007}
}


@INPROCEEDINGS{Coles08,
  author = {A. Coles and M. Fox and D. Long and A. Smith},
  title = {Planning with Problems Requiring Temporal Coordination},
  booktitle = aaai,
  year = {2008}
}

@INPROCEEDINGS{huang:AAAI10,
  author = {R. Huang and Y. Chen and W. Zhang},
  title = {A Novel Transition Based Encoding Scheme For Planning as Satisfiability},
  booktitle = aaai,
  year = {2010}
}

@INPROCEEDINGS{Mattm07,
  author = {R. Mattm\"{u}ller and J. Rintanen},
  title = {Planning for temporally extended goals as propositional satisfiability},
  booktitle = ijcai,
  year = {2007}
}

@INPROCEEDINGS{Cushing07:ICAPS,
  author = {W. Cushing  and S. Kambhampati and K. Talamadupula and D. S. Weld and Mausam },
  title = {Evaluating Temporal Planning Domains},
  booktitle = icaps,
  year = {2007}
}


@article{ Coles08:AIJ,
  author = "A. Coles and M. Fox and K. Halsey and D. Long and A. Smith",
  title = "Managing concurrency in temporal planning using planner-scheduler interaction",
  journal = "Artificial Intelligence",
  volume = "173",
  pages = "1--44",
  year = "2008"
}


@article{ Pham08:AIJ,
  author = "D. Pham and J. Thornton and A. Sattar",
  title = "Modelling and Solving Temporal Reasoning as Propositional Satisfiability",
  journal = "Artificial Intelligence",
  volume = "172",
  pages = "1752--1782",
  year = "2008"
}


@article{ Zhang09:SIGCOMM,
  author = "H. Zhang and A. Goel and R. Govindan",
  title = "An Empirical Evaluation of Internet Latency Expansion",
  journal = "ACM SIGCOMM Computer Comms. Review",
  volume = "to appear",
  year = "2009"
}

@article{ Helmert08:AIJ,
  author = "M. Helmert",
  title = "Concise finite-domain representations for PDDL planning tasks",
  journal = "Artificial Intelligence",
  year = "2008",
  pages ="503-535"
}



@article{ Vidal06,
  author = "V. Vidal and H. Geffner",
  title = "Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming",
  journal = "Artificial Intelligence",
  year = "2006",
  volume = "170",
  pages="98-335"
}


@article{Chen09,
  author = "Y. Chen and R. Huang and Z. Xing and W. Zhang",
  title = "Long-distance Mutual Exclusion for Planning ",
  journal = "Artificial Intelligence",
  year = "2009",
  volume = "173",
  pages="197-412"
}


@article{ Wah06,
  author = "B. W. Wah and Y. Chen",
  title = "Constraint Partitioning in Penalty Formulations for Solving Temporal Planning Problems",
  journal = "Artificial Intelligence",
  year = "2006",
  volume = "170",
  pages="187-231"
}




@article{ Rintanen06:AIJ,
  author = {J. Rintanen and K. Heljanko and I. Niemel\"{a}},
  title = "Planning as satisfiability: parallel plans and algorithms for plan search",
  journal = "Artificial Intelligence",
  year = "2006",
  volume = "170",
  pages="1031-1080"
}


@INPROCEEDINGS{Selman&Kautz92_2,
  AUTHOR  = "B. Selman and H. Kautz",
  TITLE   = "Planning as Satisfiability",
  BOOKTITLE="Proc. of ECAI-92",
  YEAR    = {1992},
  PAGES   = "359--363"
}


@INPROCEEDINGS{McAllester&Selman&Kautz96,
  AUTHOR  = "H. Kautz and D. McAllester and B. Selman",
  TITLE   = "Encoding Plans in Propositional Logic",
  BOOKTITLE="Proc. of Knowledge Representation",
  year = 1997

}

@INPROCEEDINGS{Rintanen07,
  AUTHOR  = "J. Rintanen",
  TITLE   = "Complexity of Concurrent Temporal Planning",
  BOOKTITLE=icaps,
  Year = {2007}
}

@INPROCEEDINGS{Robinson08,
  AUTHOR  = "N. Robinson and C. Gretton and D. Pham and A. Sattar",
  TITLE   = "A Compact and Efficient {SAT} Encoding for Planning",
  BOOKTITLE=icaps,
  Year = {2008}
}


@INPROCEEDINGS{Hu07,
  AUTHOR  = "Y. Hu",
  TITLE   = "Temporally-Expressive Planning as Constraint Satisfaction Problems",
  BOOKTITLE=icaps,
  Year = {2007}
}

@INPROCEEDINGS{Kautz99,
  AUTHOR  = "H. Kautz and B. Selman and J. Hoffmann",
  TITLE   = "Unifying SAT-based and Graph-based Planning",
  BOOKTITLE=ijcai,
  Year = {1999}
}

@INPROCEEDINGS{Smith99,
  AUTHOR  = "D. Smith and D. Weld",
  TITLE   = "Temporal Planning with Mutual Exclusion Reasoning",
  BOOKTITLE=ijcai,
  Year = {1999}
}

@BOOK{Reiter01,
   author = "R. Reiter",
   title= "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems",
   publisher = "MIT Press",
   year = 2001
   }

@BOOK{Subramanian05,
   author = "R. Subramanian and B. D. Goodman",
   title= "Peer to Peer Computing: The Evolution of a Disruptive Technology",
   publisher = "IGI Publishing",
   year = 2005
   }

@BOOK{Wessels01,
   author = "D. Wessels",
   title= "Web Caching",
   publisher = "O'Reilly Media, Inc.",
   year = 2001
   }


@INPROCEEDINGS{Long2003,
  AUTHOR  = "D. Long and M. Fox",
  TITLE   = "Exploiting a Graphplan Framework in Temporal Planning",
  BOOKTITLE=icaps,
  Year = {2003}
}

@MISC{IPC5,
AUTHOR = "{The Fifth International Planning Competition}",
TITLE = "http://zeus.ing.unibs.it/ipc-5/",
year = "2006"
}


@MISC{sat4j,
AUTHOR = "{SAT4J solver}",
TITLE = "http://www.sat4j.org/",
year = "2004"
}

@INPROCEEDINGS{Ray2008,
  AUTHOR  = "K. Ray and M. L. Ginsberg",
  TITLE   = "The Complexity of Optimal Planning and a More Efficient Method for Finding Solutions",
  BOOKTITLE=icaps,
  Year = {2008}
}


@inproceedings{DBLP:conf/cp/Gavanelli07,
  author    = {Marco Gavanelli},
  title     = {The Log-Support Encoding of CSP into SAT},
  booktitle = {Constraint Programming},
  year      = {2007},
  pages     = {815-822}
}


@phdthesis{Rudenko2002,
  author =   "A. Rudenko",
  title =    "Automated Planning for Open Network Architectures",
  school =   "UCLA",
  year =     2002
}


@INPROCEEDINGS{helmert:AAAI08,
  author = {M. Helmert and P. Haslum and J. Hoffmann},
  title = {Explicit-State Abstraction: A New Method for Generating Heuristic Functions},
  booktitle = aaai,
  year = {2008}
}


@INPROCEEDINGS{Shin:aaai04,
  author = {J. Shin and E. Davis},
  title = {Continuous Time in a {SAT}-based Planner},
  booktitle = aaai,
  year = {2004}
}


@INPROCEEDINGS{do:icaps2008,
  author = {M. B. Do and W. Ruml and R. Zhou},
  title = {Planning for Modular Printers: Beyond Productivity},
  booktitle = icaps,
  year = {2008}
}


@article{Hoffmann:jair2009,
  author = "J. Hoffmann and P. Bertoli and M. Helmert and M. Pistore",
  title = "Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection",
  journal = jair,
  year = "2009",
  volume = "35",
  pages="47-117"
}


@article{smith:jair03,
  author = "D. Smith",
  title = "The Case for Durative Actions: A Commentary on {PDDL2.1}",
  journal = jair,
  year = "2003",
  volume = "20",
  pages="149-154"
}

@article{fox:jair03,
  author = "M. Fox and D. Long",
  title = "PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains",
  journal = jair,
  year = "2003",
  volume = "20",
  pages="61-124"
}
